high-vacuum diffusion pump - Espagnol Anglais Dictionnaire